University of Oxford

Results: 6724



#Item
871

Information Security as a Resource Department of Computer Science, Oxford University, 13 – 15 October, 2011 http://www.cs.ox.ac.uk/isr11 Programme Talks are held in Room 051 on Thu and Fri, and Lecture Theatre B on Sat

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2011-10-16 13:15:56
    872

    The complexity of valued constraint models ˇ y, Peter Jeavons Standa Zivn´ Oxford University Computing Laboratory 22 September, 2009

    Add to Reading List

    Source URL: www.cs.ox.ac.uk

    Language: English - Date: 2014-02-11 12:09:22
      873

      THE ASHMOLEAN LATIN INSCRIPTIONS PROJECT (AshLI): Bringing epigraphic research to museum visitors and schools Dr Jane Masséglia, CSAD, University of Oxford Thomas Howard, 21st Earl of Arundel

      Add to Reading List

      Source URL: www.eagle-network.eu

      - Date: 2014-11-10 10:42:08
        874

        Bob Coecke University of Oxford – Computer Science – Quantum Group STRUCTURAL RESOURCES FOR Q(x) — Categorical Quantum Mechanics —

        Add to Reading List

        Source URL: www.cs.ox.ac.uk

        Language: English - Date: 2011-10-14 13:13:18
          875

          Genevieve Helleringer Law Oxford University /Essec Business School Biography Genevieve Helleringer is a fellow (elected faculty member) of St Catherine’s College, Oxford

          Add to Reading List

          Source URL: mendozaevents.nd.edu

          Language: English - Date: 2015-04-22 15:39:25
            876

            OLPP Graduate Conference in Legal Theory (Provisional) Schedule of Events Wednesday, May 8th Registration: 2pm - 4:30pm Opening Keynote Address: 4:30pm - 6:15pm John Gardner (Oxford University)

            Add to Reading List

            Source URL: www.olpp.ca

            Language: English - Date: 2013-03-12 18:19:46
              877

              Program equivalence with names Nikos Tzevelekos Oxford University Computing Laboratory Abstract. The nu-calculus of Pitts and Stark was introduced as a paradigmatic functional language with a very basic local-state effec

              Add to Reading List

              Source URL: www.cs.ox.ac.uk

              Language: English - Date: 2010-12-14 10:15:32
                878

                Modularising Inductive Families Hsiang-Shang Ko and Jeremy Gibbons Department of Computer Science, University of Oxford March 21, 2013 Abstract Dependently typed programmers are encouraged to use inductive families to in

                Add to Reading List

                Source URL: www.cs.ox.ac.uk

                Language: English - Date: 2013-03-21 05:04:05
                  879

                  DIS03 – April 24th, St Petersburg Scaling violations in inclusive jet photoproduction at HERA and the measurement of αs Mark Sutton University of Oxford

                  Add to Reading List

                  Source URL: giroz.desy.de

                  Language: English
                    880

                    The ZX-calculus and quantum computation Aleks Kissinger1 1 University of Oxford, UK,

                    Add to Reading List

                    Source URL: www.iitis.pl

                    - Date: 2015-07-09 03:58:28
                      UPDATE